A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw ...
Continue readingThis monograph treats the application of numerous graph-theoretic algorithms to a comprehensive analysis of dynamic enterprise ...
Continue readingOffers high-quality content in the research area of graph algorithms and explores the latest developments in graph algorithmics. ...
Continue readingThis book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Continue readingThis book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Continue readingThe book consists of two parts: the first discusses the fundamentals of matrix algebra in detail, while the second focuses ...
Continue readingPart of the new series, Advanced Topics in Science and Technology in China, this book discusses concepts, theory, and core ...
Continue readingThe first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern ...
Continue readingThis volume, with forewords by Greg Bollella and Dana Scott, presents novel programs based on the new advances in this area, ...
Continue readingThis book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on OpenMP, IWOMP ...
Continue readingA man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, ...
Continue readingA Software Process Model Handbook for Incorporating People's Capabilities offers the most advanced approach to date, empirically ...
Continue readingDistributed and communicating objects are becoming ubiquitous. In global, Grid and Peer-to-Peer computing environments, extensive ...
Continue readingAI 2004 was the seventeenth in the series of annual Australian artificial intelli-gence conferences. This conference is the ...
Continue readingThe 18th Australian Joint Conference on Artificial Intelligence (AI 2005) was held at the University of Technology, Sydney ...
Continue readingThis volume contains the proceedings of the 19th Australian Joint Conference on Artificial Intelligence (AI 2006) held at ...
Continue readingThe book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...
Continue readingThe book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...
Continue readingThis book constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, ...
Continue readingThis book constitutes the proceedings of the 33rd Australasian Joint Conference on Artificial Intelligence, AI 2020, held ...
Continue reading